ASPfun : A typed functional active object calculus
نویسندگان
چکیده
منابع مشابه
A Typed Functional Calculus with State
We extend the simple typed calculus with statements A statement which can also be thought of as a method or transition is an abstraction similar to function abstraction it can be instantiated by providing it with a source state whereafter it yields a pair of values consisting of an output value and a target state We obtain a strongly normalising typed calculus for state based functional program...
متن کاملAddressed term rewriting systems: application to a typed object calculus
We present a formalism called Addressed Term Rewriting Systems, which can be used to model implementations of theorem proving, symbolic computation, and programming languages, especially aspects of sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited for describing object-based languages, and as an example we present a language c...
متن کاملA Typed Pattern Calculus
The theory of programming with pattern-matching function deenitions has been studied mainly in the framework of rst-order rewrite systems. We present a typed functional calculus that emphasizes the strong connection between the structure of whole pattern deenitions and their types. In this calculus type-checking guarantees the absence of runtime errors caused by non-exhaustive pattern-matching ...
متن کاملA typed context calculus
This paper develops a typed calculus for contexts i.e., lambda terms with \holes".In addition to ordinary lambda terms, the calculus contains labeled holes, hole ab-straction and context application for manipulating rst-class contexts. The primaryoperation for contexts is holelling, which captures free variables. This operationcon icts with substitution of the lambda calculus, a...
متن کاملA Typed Interrupt Calculus
Most real-time systems require responsive interrupt handling. Programming of interrupt handlers is challenging: in order to ensure responsiveness, it is often necessary to have interrupt processing enabled in the body of lower priority handlers. It would be a programming error to allow the interrupt handlers to interrupt each other in a cyclic fashion; it could lead to an unbounded stack. Until...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2012
ISSN: 0167-6423
DOI: 10.1016/j.scico.2010.12.008